(0 7 3)(1 20 18)(2 15 6)(4 17 5)(8 12 10)(9 16 14)(11 19 13)
ALLOWS (11/8)-SEQUENCE
1: (5 12 17)
(0 7 3)(1 20 18)(2 15 6)(4 17 10 8 12)(5)(9 16 14)(11 19 13)
2: (2 15 6)
(0 7 3)(1 20 18)(2)(4 17 10 8 12)(5)(6)(9 16 14)(11 19 13)(15)
3: (9 16 14)
(0 7 3)(1 20 18)(2)(4 17 10 8 12)(5)(6)(9)(11 19 13)(14)(15)(16)
4: (8 12 10)
(0 7 3)(1 20 18)(2)(4 17 10)(5)(6)(8)(9)(11 19 13)(12)(14)(15)(16)